Mit dem ``TOOL''-Befehl kann f�r Dateien, deren Namen einem angegeben Muster
entsprechen, ein Programm festgelegt werden, das bei einem Doppelklick
auf eine solche Datei benutzt wird. Was hei�t das im Klartext?
Wenn Sie z.B. TOOL ``#?.dvi'',``TeX:bin/ShowDVI %s'' in Ihrer
Konfigurationsdatei stehen haben, wird bei einem Doppelklick
auf eine Datei, die auf ``.DVI'' endet, automatisch ``ShowDVI'' geladen
und diese Datei somit angezeigt. Es k�nnen beliebig viele ``TOOL''-Befehle
in der Konfigurationsdatei vorkommen.
Diese Funktion fehlt in der Demoversion.